verify to never emit insns into a closed block

diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index 9f0068681b8b28a77cbf6ab30d08fb083b2a5ffa..83e8f8485b0a91ce6f416c3052572619dfffba94 100644 (file)
--- a/lisp/emacs-lisp/comp.el
+++ b/lisp/emacs-lisp/comp.el
@@ -484,6 +484,7 @@ Restore the original value afterwards."
 
 (defun comp-emit (insn)
   "Emit INSN into current basic block."
+  (cl-assert (not (comp-block-closed comp-block)))
   (push insn (comp-block-insns comp-block)))
 
 (defun comp-emit-set-call (call)